[
 (record)
 (module)
] @fold
